Documentation for infix (+), infix ⊎ assembled from the following types:

language documentation Sets, bags, and mixes

From Sets, bags, and mixes

(Sets, bags, and mixes) infix (+), infix ⊎

Returns the Baggy addition of its arguments. More information.